﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using Microsoft.Pex.Framework;
using Microsoft.VisualStudio.TestTools.UnitTesting;
using Symexamples1;

namespace HintProvider1
{    
    [TestClass]
    public partial class TestMethods
    {        
        [PexMethod]                
        [PexAssertReachEventually]
        public void FactoryMethodTest([PexAssumeUnderTest]IntStack ints)            
        {
            if (ints.GetSize() == 5)
                PexAssert.ReachEventually();
        }
    }
}
